3.10.2.3 How To Prove It